Fixed point

Results: 544



#Item
191Computing / C++ / Q / Computer programming / Typedef / FO / Fixed-point arithmetic / Computer arithmetic / C programming language / Theoretical computer science

Q-Math Refresher Understanding Q Math Basics Shawn Steenhagen - Applied Signal Processing, Inc. 3 Marsh Court Madison, WI 53718

Add to Reading List

Source URL: www.danvillesignal.com

Language: English - Date: 2010-09-02 06:27:50
192Lambda calculus / Combinatory logic / Computability theory / Fixed-point combinator / Function / Haskell Curry / Free variables and bound variables / Principia Mathematica / First-order logic / Mathematics / Mathematical logic / Theoretical computer science

History of Lambda-calculus and Combinatory Logic J. Roger Hindley † 2006, from Swansea University Mathematics Department Research Report

Add to Reading List

Source URL: www.users.waitrose.com

Language: English - Date: 2008-01-14 18:38:50
193Stability theory / Differential operators / Dynamical system / Diffeomorphism / Lyapunov stability / Limit set / Fixed point / Brouwer fixed-point theorem / Nonlinear control / Mathematical analysis / Mathematics / Calculus

c 2008 International Press COMMUNICATIONS IN INFORMATION AND SYSTEMS Vol. 8, No. 4, pp, 2008

Add to Reading List

Source URL: www.ims.cuhk.edu.hk

Language: English - Date: 2009-02-19 09:36:24
194Artificial life / Philosophy of biology / Charles Ofria / Avida / Digital organism / Population bottleneck / Ecology / Ecosystem / Theoretical ecology / Biology / Evolutionary biology / Science

PRE-PRINT: RS Olson, M Mirmomeni, T Brom, E Bruger, A Hintze, DB Knoester, C Adami. “Evolved digital ecosystems: Dynamic steady state, not optimal fixed point”, Proceedings of the 12th European Conference on Artifici

Add to Reading List

Source URL: www.randalolson.com

Language: English - Date: 2013-07-20 21:48:33
195Functional programming / Models of computation / Logic in computer science / Monad / Denotational semantics / Lambda calculus / Fixed-point combinator / Valuation / Theoretical computer science / Declarative programming / Mathematics

Relating Models of Backtracking Mitchell Wand Dale Vaillancourt College of Computer and Information Science

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2004-07-21 16:26:52
196Private law / NEC Engineering and Construction Contract / Fixed price / Cost contract / Subcontractor / Cost-plus-incentive fee / Point of total assumption / Contract law / Law / Business

Contract Solutions | E-newsletter Issue 4 HOW TO MAKE TARGET COST AND COST REIMBURSABLE CONTRACTS WORK The use of target cost and cost

Add to Reading List

Source URL: www.echarris.com

Language: English - Date: 2011-09-26 06:55:00
197Predicate logic / Logic programming / Lambda calculus / Stable model semantics / Atomic formula / Fixed-point combinator / Term algebra / Ground expression / Forcing / Mathematical logic / Mathematics / Logic

Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs Benjamin Grosof Terrance Swift

Add to Reading List

Source URL: silk.semwebcentral.org

Language: English - Date: 2013-04-09 22:34:32
198Computing / Floating point / Arithmetic / Residue number system / Fixed-point arithmetic / Computer / Division / Q / James Anderson / Computer arithmetic / Computer architecture / Numbers

Computer Arithmetic, Part 1

Add to Reading List

Source URL: www.saylor.org

Language: English - Date: 2013-03-20 16:13:05
199Functional programming / Data types / Type theory / Functional languages / Lisp programming language / Type class / Predicate / Function / Fixed-point combinator / Software engineering / Computer programming / Computing

PDF Document

Add to Reading List

Source URL: www.schemeworkshop.org

Language: English - Date: 2011-08-12 16:48:56
200Fractal compression / Collage theorem / Banach fixed-point theorem / Wavelet / Vector space / Inverse function / Logarithm / Inverse problem / Function / Mathematics / Algebra / Fractals

Inverse Problem Methods for Generalized Fractal Transforms Bruno Forte  

Add to Reading List

Source URL: links.uwaterloo.ca

Language: English - Date: 2007-06-27 13:13:47
UPDATE